|
John Gregory "Greg" Morrisett was the Allen B. Cutting Professor of Computer Science in the Harvard School of Engineering and Applied Sciences. On July 1, 2015, he will become Dean of the Faculty of Computing and Information Science at Cornell University.〔(【引用サイトリンク】title=Greg Morrisett to return to Cornell as CIS dean )〕 His group at Cornell University created the Cyclone programming language. His current research interests are in the applications of programming language technology for building secure and reliable systems. In particular, he is interested in applications of advanced type systems, model checkers, certifying compilers, proof-carrying code, and inlined reference monitors for building efficient and provably secure systems. He is also interested in the design and application of high-level languages for new or emerging domains, such as sensor networks. He received his PhD under Jeannette Wing and Robert Harper at Carnegie Mellon University in 1995. In 2013 he became a fellow of the Association for Computing Machinery.〔(ACM Names Fellows for Computing Advances that Are Transforming Science and Society ), Association for Computing Machinery, accessed 2013-12-10.〕 ==Personal Life== He is known to have an extreme fondness for cows.〔(Quora: Why is Professor Greg Morrisett so fond of cows? )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Greg Morrisett」の詳細全文を読む スポンサード リンク
|